1481. Some commercial autocodes; a comparative study
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Programming languages (Electronic computers)
رده :
S693
1482. Source Code Analytics With Roslyn and JavaScript Data Visualization /
پدیدآورنده: Sudipta Mukherjee ; foreword by Darius Blasband
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programming.,Computer science.,Programming languages (Electronic computers),Software engineering.,Source code (Computer science),Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Software Engineering.
رده :
QA76
.
754
.
M85
2016
1483. Special issue on emergent semantics
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Semantic computing. ; Semantic integration (Computer systems) ; Semantic networks (Information theory) ; Programming languages (Electronic computers) ;
1484. Spiele effektiv programmieren
پدیدآورنده: Uwe Kettermann, Andreas Rohde.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Programming languages (Electronic computers),Software engineering.
1485. Spring Recipes :
پدیدآورنده: Marten Deinum, Josh Long, Gary Mak, Daniel Rubio
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Open source software,Programming languages (Electronic computers)
رده :
QA76
.
7
1486. Standard relational and network database languages
پدیدآورنده: Yannakoudakis, E. J.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Database management,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
D3
.
Y365
1988
1487. Static analysis :
پدیدآورنده: Antoine Miné, David Schmidt (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.
رده :
QA76
.
6
.
I5733
2012eb
1488. Static analysis :
پدیدآورنده: Kwangkeun Yi (ed.).
کتابخانه: کتابخانه دانشکده مطالعات جهان (دانشگاه تهران) (تهران)
موضوع: Computer programming,Programming languages (Electronic computers),Congresses.,Congresses.
رده :
QA76
.
6
.
I5733
2006
1489. Static analysis
پدیدآورنده: Jens Palsberg, Zhendong Su (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programming, Congresses,Programming languages (Electronic computers), Congresses
رده :
QA76
.
6
.
I5733
2009
1490. Static analysis :
پدیدآورنده: Eran Yahav (edition)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programming, Congresses,Programming languages (Electronic computers), Congresses
رده :
QA76
.
6
1491. Static analysis : First International Static Analysis Symposium, SAS'94 Namur, Belgium, September 28-30, 1994 : proceedings
پدیدآورنده: Baudouin Le Charlier )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
864
1492. Static analysis : Second International Symposium, SAS'95 Glasgow, UK, September 25-27, 1995 : proceedings
پدیدآورنده: Alan Mycroft )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
983
1493. Static analysis: Third International Symposium, SAS'96, Aachen, Germany, September 24-26, 1996 : proceedings
پدیدآورنده: Radhia, Cousot, David A. Schmidt )Eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1145
1494. Static analysis : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings
پدیدآورنده: Chris Hankin, Igor Siveroni )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
3672
1495. Static analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings
پدیدآورنده: Manuel V. Hermenegildo, German Puebla, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2477
1496. Static analysis : 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings
پدیدآورنده: Patrick Cousot )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2126
1497. Static analysis : 4th International Symposium, SAS'97, Paris, France, September 8-10, 1997 : proceedings
پدیدآورنده: Pascal van Hentenryck )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1302
1498. Static analysis : 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998 : proceedings
پدیدآورنده: Giorgio Levi, ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1503
1499. Static analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 : proceedings
پدیدآورنده: Jens Palsberg )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1824
1500. Static analysis : 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings
پدیدآورنده: Agostino Cortesi, Gilberto File
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(,Congresses ، System analysis
رده :
QA
76
.
L28
Vol
.
1694
